sync protocol syncProtocol {

    // sanity check of sync protocols

child:
    async AsyncMsg();

parent:
    sync SyncMsg() returns (int i);

};
